1. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Algorithm design : a recursion transformation framework
پدیدآورنده : Paull, Marvin C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
4. Algorithmics :
پدیدآورنده : Gilles Brassard and Paul Bratley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
5. Algorithmics
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: (مازندران)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
6. Algorithmics : theory and practice
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
7. Algorithmics: theory and practice
پدیدآورنده : Gilles Brassard and paul Bratley
موضوع : Recursion theory,Algorithms
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
8. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: (طهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
9. Algorithmics:theory and practice
پدیدآورنده : BRASSAARD,GILLES
کتابخانه: (طهران)
موضوع : RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
10. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
11. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
12. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
13. Algorithms and data structures :
پدیدآورنده : Douglas Baldwin and Greg W. Scragg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Data structures (Computer science),Algorithmes.,Structures de données (Informatique),Algorithmus,Algorithmus.,Computer algorithms.,Data structures (Computer science),Datenstruktur,Datenstruktur.
رده :
QA76
.
9
.
A43
B35
2004
14. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
15. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
16. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Lund <1993>,Theoretische Informatik.
17. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
18. Computer Algebra :
پدیدآورنده : edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
19. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
20. Discrete mathematics /
پدیدآورنده : Seymour Lipschutz, Marc Lars Lipson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Outlines, syllabi, etc.,Computer science, Problems, exercises, etc.-- Mathematics.,Mathematics, Outlines, syllabi, etc.,Mathematics, Problems, exercises, etc.,Mathematics.,Computer science-- Mathematics.,Computer science.,Mathematics.
رده :
QA162
.
L767
2007
